G
garbage collection, 8, 9, 384, 395
generalisation rule, 425, 429, 448
Gentzen, 13, 214, 215, 230, 489
global, 81, 82, 196, 430, 466, 490
global environment, 82
global variable, 81, 82, 113, 236
goal, 32, 129, 130, 132, 141, 160, 224, 225, 228, 255, 275, 361, 364, 365, 374, 375, 376, 377, 378, 384, 403, 406, 408, 410, 423, 432, 438, 440, 441, 445, 482
goal state, 129, 130
Goldbach’s conjecture, 45, 46, 57
Gordon, 11, 170, 213, 489, 490
graceful labeling problem, 139
grammar, 133, 134, 138, 143, 144, 146, 147, 153, 155, 291, 473, 475
grammatical, 132, 133, 134, 135, 136, 138
green macro, 120
guard, 42, 43, 45, 145, 146, 149, 179, 243,
428, 446, 455, 457
|
|